Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
751	Draft Version Denotational Semantics for SSA Conversion Sebastian Pop, Albert Cohen†, Pierre Jouvelot, Georges-Andr´e Silber ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-07-31 09:22:11 Computability theory Models of computation Formal methods Logic in computer science Recursion Static single assignment form Denotational semantics Continuation-passing style Primitive recursive function Software engineering Computing Computer programming
752	Physics, Topology, Logic, and Computation: A Rosetta Stone John C. Baez UC Riverside Mike Stay Google, U. of Auckland Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2009-05-05 19:03:37 Morphism Product Cobordism Category Associative property Cartesian closed category Functor Category theory Mathematics Algebra
753	Regular Functions Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-13 10:13:47 Theoretical computer science Mathematics Combinatorics on words Models of computation Finite state transducer Finite-state machine Regular expression Regular language String Formal languages Automata theory Combinatorics
754	Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2012-06-26 12:58:42 Monoidal categories Algebraic topology Functors Cartesian closed category Lambda calculus Product Morphism Natural transformation Topological quantum field theory Category theory Abstract algebra Algebra
755	Differential Equations, Infinite Limits and Real Recursive Functions ´ JOSE´ FELIX COSTA∗ Instituto Superior T´ecnico Add to Reading List Source URL: fgc.math.ist.utl.pt Language: English - Date: 2008-12-02 06:06:34 Mathematical logic Theory of computation Recursion Functions and mappings Primitive recursive function Function Fold Lambda calculus Computable function Mathematics Computability theory Theoretical computer science
756	Direct Construction of Compact Context-Dependency Transducers From Data David Rybach∗ Michael Riley Human Language Technology Add to Reading List Source URL: wiki.inf.ed.ac.uk Language: English - Date: 2010-11-05 06:38:47 Finite state transducer Finite-state machine Speech recognition Computer science Mathematical optimization Applied mathematics Computing Automata theory Models of computation Computational linguistics
757	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
758	Feasibility and Infeasibility of Secure Computation with Malicious PUFs Dana Dachman-Soled1 , Nils Fleischhacker2 , Jonathan Katz1 , Anna Lysyanskaya3 , and Dominique Schr¨oder2 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-29 09:12:17 Models of computation Oblivious transfer Random oracle Oracle machine FO Query IP Advantage Cryptography Theoretical computer science Computability theory
759	A Course in Machine Learning Hal Daumé III 10 \| L EARNING T HEORY Add to Reading List Source URL: ciml.info Language: English - Date: 2014-09-24 16:08:31 Computational learning theory Machine learning Models of computation Computational complexity theory Probably approximately correct learning Algorithm Decision tree model VC dimension PP Theoretical computer science Applied mathematics Mathematics
760	The tree machine? Arnaud Spiwack MINES ParisTech Abstract. A variant of Turing machines is introduced where the tape Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-19 09:03:36 Mathematics Computability theory Formal methods Turing machine Random access machine Computational complexity theory Algorithm Lambda calculus FO Theory of computation Models of computation Theoretical computer science

UPDATE